proving of concurrent program
un. 并行程序证明
热门查询
- Matra n. 马特勒（印度音乐的节拍单位）
- translational adj. 平移的，直移的
- peroxidase n. [生化] 过氧物酶
- focuss v. （使）集中, （使）聚集( focus的第三人称单数 ); 调整（镜头, 眼睛）焦点[焦距]以便看清; （光、声等的）焦点; 集中（光束于）
- sed n. (Sed)人名；(意)塞德 abbr. 航天工程文献（Space Engineering Document）；光谱能量分布（Spectral Energy Distribution）
- Quranic 古兰经的 可兰经的
- siberian adj. 西伯利亚（人）的；来自西伯利亚的
- Chile n. 智利（南美洲国家）
- gullet n. 食道；海峡；咽喉
- pursuer n. 追求者；追捕者；研究者；原告
- luge n. 竞赛用的小型撬 vi. 坐小橇内滑雪 n. (Luge)人名；(德)卢格
- deface vt. 损伤外观，丑化
- westernized adj. 西方化的；欧洲化的 v. 西方化（westernize的过去式）
- Eastbourne 伊斯特本(英国一港市)
- sinking n. 沉没 v. 下沉（sink的现在分词） adj. 下沉的
- extemporaneous adj. 即席的，临时的；无准备的；不用讲稿的；善于即席讲话的
- ketone n. 酮
- SI abbr. 火花塞点火（Spark Ignition）
- none pron. 没有人；一个也没有；没有任何东西 adj. 没有的，一点没有的 adv. 决不，一点也不 n. (None)人名；(葡、罗)诺内；(日)野根(姓)
- unstuffed adj. 不拥挤的；未填塞（或装满）的
考试词汇表
- drafting schedule
- drafting standard
- drafting-practice
- drag acceleration
- drag articulation
- drag bar conveyer
- drag bar conveyor
- drag brake system
- drag chain cooler
- drag coefficients
- drag deceleration
- drag distribution
- drag interference
- drag link bearing
- drag off carriage
- drag perturbation
- drag saddle chain
- drag suction head
- drag your freight
- drag-off carriage
